<?php
	function trace($string)
	{
		echo "<p>" . $string . "</p>";
	}
?>